301. Introduction to logic programming
پدیدآورنده : Hogger, Christorpher John
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H624
1984
302. Introduction to parallel computing :
پدیدآورنده : Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)
رده :
QA76
.
642
303. Introduction to real - time software design
پدیدآورنده : Allworth, S. T.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Real-time data processing,، Programming )Electronic computers(
رده :
QA
76
.
54
.
A44
1984
304. Introduction to real-time software design
پدیدآورنده : Allworth, S. T.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Real-time data processing,، Programming )Electronic computers(
رده :
QA
76
.
54
.
A44
1987
305. Introduction to system programming; proceedings of a symposium held at the London School of Economics, July, 1962
پدیدآورنده : edited by Peter Wegner,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming )Electronic computers( - Addresses, essays, lectures
رده :
QA
.
W43
76
1964
306. Intructor's guide to accompany introduction to computer science with applications in PASCAL
پدیدآورنده : Garland, Stephen J
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Electronic data processing,، Electronic digital computers - programming,، Algorithms,، Pascal )computer program language(
رده :
QA
76
.
G315
1986
guide
307. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
308. Java 2 certification exam guide for programmers
پدیدآورنده : / by Barry Boone and Willam R. Stanek
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic Data Processing personnel certification,Programming languages - (Electronic computers) -- Examinations -- Study guides,Java (Computer program language)
رده :
QA
76
.
3
.
B658
2000
309. Java 2 certification exam guide for programmers and developers
پدیدآورنده : Boone, Barry
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing personnel-- Certification,، Programming languages )Electronic computers(-- Examinations,، Java )Computer program language(
رده :
QA
76
.
3
.
B658
2000
310. Java 2 certification training guide
پدیدآورنده : / Jamie Jaworski
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic data processing personnel- Certification,Programming languages (Electronic computers)- Examinations Study guides,Java (Computer program language)
رده :
QA76
.
3
.
J39
1999
311. Java 2 certification training guide /
پدیدآورنده : Jamie Jaworski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations.
رده :
QA76
.
3
.
J39
1999
312. Java 2 certification training guide
پدیدآورنده : / Jamie Jaworski
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic data processing personnel--Certification,Programming languages (Electronic computers)--Examinations--Study guides,Java (Computer program language)
رده :
QA
,
76
.
3
,.
J39
,
1999
313. Journal on data semantics VII
پدیدآورنده : / Stefano Spaccapietra ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Semantic Web.,Ontology.,Semantics--Data processing,Programming languages (Electronic computers)--Semantics
314. Journal on data semantics VIII
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Semantic Web. ; Ontology. ; Semantics ; Data processing. ; Programming languages (Electronic computers) ; Semantics. ;
315. Journal on data semantics XIII
پدیدآورنده : Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ontology,Programming languages (Electronic computers)-- Semantics,Semantic Web,Semantics-- Data processing
رده :
QA76
.
7
.
J63
2009eb
316. Knowledge- based programming
پدیدآورنده : Tyugu, E. Kh. )Enn Kharaldovich(, 5391-
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Artificial intelligence- Data processing,، Programming )Electronic computers(
رده :
Q
336
.
T9813
1988
317. L'informatique et les systemes
پدیدآورنده : Dupuy, Roger
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing,، Electronic digital computers-- Programming
رده :
QA
76
.
D83
318. La method informatique; conception et realisation de l'informatique de gestion
پدیدآورنده : Mallet, Robert A
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Management information systems,، Electronic data processing-- Business,، Programming )Electronic Computers(
رده :
Q
111
.
A3
no
.
1340
319. La methode informatique; conception et realisation de L'informatique de gestion
پدیدآورنده : / Robert A. Mallet
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Management information systems,Electronic data processing - Business,Programming (Elctronic computers)
رده :
658
.
054
Ma-M
320. <La> technique informatique
پدیدآورنده : / par Helene Bestougeff, Christian Guilpin et Michel Jacques
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic digital computers--Programming,Numerical analysis--Data processing
رده :
QA76
.
6
.
B4
